#include<stdio.h>
#include<stdlib.h>
int main(void)
{
	int year;
	int month;
	int day;

	FILE *fp;
	FILE *fq;

	fp = fopen("data.txt", "w");
	
	scanf("%d/%d/%d", &month, &day, &year);
	
	fprintf(fp, "%d/%d/%d", month, day, year);

	fclose(fp);

	fq = fopen("data.txt", "r");
	
	printf("%4d.%2d.%2d\n", year, month, day);
	
	fclose(fq); 

	return 0;
}


